Alef Language Reference Manual Phil Winterbottom [removed] Introduction )lAB EI = ?on?KHHAnJ FHoCH=mmEnC l=nCK=CA @AIECnA@ BoH IOIJAmI IoBJM=HA. -N?AF­

Source URL: swtch.com

Week 2 Content:    

Source URL: kodu.blob.core.windows.net

• Microsoft Research
• Application software
• Game design
• Pattern language
• Software
• Video game development
• Kodu Game Lab

Rapid Understanding of Scientific Paper Collections: Integrating Statistics, Text Analytics, and Visualization Cody Dunne Department of Computer Science & Human-Computer Interaction Lab, A.V. Williams Building, Universit

Source URL: www.cs.umd.edu

• Bibliographic databases
• Natural language processing
• Online databases
• Computer graphics
• Scientific modeling
• Visualization
• Multi-document summarization
• Citation
• Automatic summarization
• Science
• Knowledge
• Library science

Participant observation of the interaction in an engineering lab to improve materials design and writing support for graduate students and faculty publishing in English at a research university in Korea Adam Turner

Source URL: www.baleap.org

• Linguistics
• Graduate school
• Education
• Academia
• Language education
• John Swales
• Contrastive rhetoric

Authors Learning with the $100 Laptop The coming year should see the start of a world-changing event, through the plan by the Media Lab of Massachusetts Institute of Technology, along with the World Bank, the United Nat

Source URL: www.g1to1.org

• Distance education
• E-learning
• Roy Pea
• Mobile technology
• Educational software
• Learning sciences
• One Laptop per Child
• Project-based learning
• Mobile Assisted Language Learning
• Education
• Knowledge
• Educational psychology

LNCS[removed]Explicit-State Software Model Checking Based on CEGAR and Interpolation

Source URL: www.sosy-lab.org

• Data types
• Type theory
• Function
• Data-flow analysis
• Variable
• Algorithm
• Model checking
• Abstraction
• Programming language
• Mathematics
• Software engineering
• Computing

A Hierarchical Framework for Composing Nested Web Processes Haibo Zhao and Prashant Doshi LSDIS Lab., Department of Computer Science University of Georgia Athens, GA 30602

Source URL: lsdis.cs.uga.edu

• Models of computation
• Automata theory
• Finite-state machine
• Markov decision process
• Business Process Execution Language
• FO
• Markov chain
• Group action
• Ergodic theory
• Statistics
• Markov processes
• Theoretical computer science

Human-Machine Hybrid Computation Position paper for CHI 2011 Workshop On Crowdsourcing And Human Computation Alexander J. Quinn Benjamin B. Bederson Human-Computer Interaction Lab Computer Science Department

Source URL: crowdresearch.org

• Artificial intelligence
• Computing
• Natural language processing
• Speech recognition
• Human–computer interaction
• Machine translation
• Algorithm
• Automation
• Amazon Mechanical Turk
• Computational linguistics
• Science
• Human-based computation

Adaptive Web Processes Using Value of Changed Information John Harney and Prashant Doshi LSDIS Lab, Dept. of Computer Science, University of Georgia, Athens, GA 30602 {jfh,pdoshi}@cs.uga.edu

Source URL: lsdis.cs.uga.edu

• Manufacturing
• Web services
• Operations research
• Supply chain management
• Dynamic programming
• Business Process Execution Language
• Inventory
• Markov decision process
• Dutch East India Company
• Business
• Technology
• Management

THE UNIVERSITY OF BRITISH COLUMBIA Curriculum Vitae for Faculty Members Because much of my career has been spent at an industrial research lab where keeping a detailed CV was not common practice, some details are missing

Source URL: www.cs.ubc.ca

• Object-oriented programming
• Aspect-oriented software development
• Aspect-oriented programming
• Programming paradigms
• Lisp programming language
• OOPSLA
• Gregor Kiczales
• Metaobject
• PARC
• Software development
• Computing
• Software engineering